- name type equivalence
- nazwowa zgodność typu
English-Polish dictionary for engineers. 2013.
name type equivalence
Look at other dictionaries:
Type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Nominative type system — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
Name conflicts of Solar System objects — Although in principle every named body in the Solar System ought to have a distinct name, due to a variety of circumstances, there are several real or apparent name conflicts between different Solar System bodies. Most of these conflicts are… … Wikipedia
Name conflicts with minor planets — Although in principle every named body in the Solar System ought to have a distinct name[citation needed], due to a variety of circumstances, there are several real or apparent name conflicts between different Solar System bodies. Most of these… … Wikipedia
Mass–energy equivalence — E=MC2 redirects here. For other uses, see E=MC2 (disambiguation). 4 meter tall sculpture of Einstein s 1905 E = mc2 formula at the 2006 Walk of Ideas, Berlin, Germany In physics, mass–energy equivalence is the concept that the … Wikipedia
Structural type system — A structural type system is a major class of type system, in which type compatibility and equivalence are determined by the type s structure, and not through explicit declarations. Structural systems are used to determine if types are equivalent … Wikipedia
Covariance and contravariance (computer science) — Within the type system of a programming language, covariance and contravariance refers to the ordering of types from narrower to wider and their interchangeability or equivalence in certain situations (such as parameters, generics, and return… … Wikipedia
Epigram (programming language) — Epigram is the name of a functional programming language with dependent types and of the IDE usually packaged with it. Epigram s type system is strong enough to express program specifications. The goal is to support a smooth transition from… … Wikipedia
Duck typing — Type systems Type safety Inferred vs. Manifest Dynamic vs. Static Strong vs. Weak Nominal vs. Structural Dependent typing Duck typing Latent typing Linear typing Uniqueness typing … Wikipedia
BIBLE — THE CANON, TEXT, AND EDITIONS canon general titles the canon the significance of the canon the process of canonization contents and titles of the books the tripartite canon … Encyclopedia of Judaism
Logicism — is one of the schools of thought in the philosophy of mathematics, putting forth the theory that mathematics is an extension of logic and therefore some or all mathematics is reducible to logic.[1] Bertrand Russell and Alfred North Whitehead… … Wikipedia
